Search results
Journal of Automated Reasoning > 2019 > 63 > 4 > 1055-1075
KI - Künstliche Intelligenz > 2018 > 32 > 4 > 261-266
Journal of Automated Reasoning > 2019 > 63 > 4 > 1055-1075
KI - Künstliche Intelligenz > 2018 > 32 > 4 > 261-266